// Copyright (C) 2020 Alexey Shvayka. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.

/*---
esid: sec-proxy-object-internal-methods-and-internal-slots-hasproperty-p
description: >
  If "has" trap is null or undefined, [[HasProperty]] call is properly
  forwarded to [[ProxyTarget]] (which is also a Proxy object).
info: |
  [[HasProperty]] ( P )

  [...]
  5. Let target be O.[[ProxyTarget]].
  6. Let trap be ? GetMethod(handler, "has").
  7. If trap is undefined, then
    a. Return ? target.[[HasProperty]](P).
features: [Proxy, Reflect]
---*/

function Test() {
    var plainObject = {
      get 0() {
        return 1;
      },
      foo: 2,
      set bar(_value) {},
    };

    var plainObjectTarget = new Proxy(plainObject, {});
    var plainObjectProxy = new Proxy(plainObjectTarget, {
      get: undefined,
    });

    assert(0 in Object.create(plainObjectProxy));
    assert("foo" in plainObjectProxy);
    assert(Reflect.has(plainObjectProxy, "bar"));


    var arrayTarget = new Proxy([1, 2], {});
    var arrayProxy = new Proxy(arrayTarget, {
      get: undefined,
    });

    assert("length" in Object.create(arrayProxy));
    assert("1" in arrayProxy);
    assert(!("2" in arrayProxy));
}

// preheat
const NUMBER_OF_PREHEAT = 1;
for (let i = 0; i < NUMBER_OF_PREHEAT; i++) {
    Test();
}

ArkTools.jitCompileAsync(Test);
assert.sameValue(ArkTools.waitJitCompileFinish(Test), true, '[JIT] JIT disabled.');

// test
const NUMBER_OF_TEST = 1; // or 2
for (let i = 0; i < NUMBER_OF_PREHEAT; i++) {
    Test();
}
